Real-Time Testing with TTCN-3
نویسندگان
چکیده
Reactive real-time software is used when safety is the issue and the margin for errors is narrow. Such software is used in automotive, avionics, air traffic control, space shuttle control, medical equipment, nuclear power stations, etc. As the timeliness of those systems is critical, it needs to be assured and tested. However, real-time properties require automated tests as manual tests are untimely and imprecise. This paper reviews Testing and Test Control Notation Version 3 (TTCN-3) as a means for real-time testing and proposes extensions to enable real-time test systems in TTCN-3. Small examples demonstrate the usage of the new constructs. Real-time operating systems are analyzed and reviewed, to enable the realization of real-time test systems based on TTCN-3.
منابع مشابه
Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems
Interoperability testing is an important technique to ensure the quality of implementations of network communication software, and real-time protocol interoperability testing is an important issue in this area. TIMEDTTCN-3 is a real-time extension of test specification language TTCN-3. In this paper, test notations for real-time interoperability testing are studied. Test behavior trees are cons...
متن کاملTTCN-3 for Distributed Testing Embedded Software
TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software in a target environment, the software is usually tested in the host environment. Executing in the host environment often affects the real-time behavior of the software and, consequently, the results of real-time testing. Here we...
متن کاملTIMEDTTCN-3 Based Graphical Real-Time Test Specification
The textual Testing and Test Control Notation (TTCN-3) is frequently used in combination with Message Sequence Chart (MSC) and the MSC-based Graphical Presentation Format for TTCN-3 (GFT). Both, MSC and GFT allow an automatic generation of TTCN-3 test case descriptions. TIMEDTTCN-3 is an extension of TTCN-3 for testing real-time properties and has been submitted for standardization. For a compl...
متن کاملTimed TTCN-3 - A Real-time Extension for TTCN-3
The Testing and Test Control Notation (TTCN-3) was originally developed as successor of the second edition of the Tree and Tabular Combined Notation. TTCN-3 is a standardized test specification and implementation language to test functional behaviour of distributed systems. TIMEDTTCN-3 is a real-time extension for TTCN-3 that supports the test and measurement of real-time requirements. TIMEDTTC...
متن کاملTTCN - 3 – A Real - time extension for TTCN - 3
The Testing and Test Control Notation (TTCN-3) was originally developed as successor of the second edition of the Tree and Tabular Combined Notation. TTCN-3 is a standardized test specification and implementation language to test functional behaviour of distributed systems. TIMEDTTCN-3 is a real-time extension for TTCN-3 that supports the test and measurement of real-time requirements. TIMEDTTC...
متن کامل